Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
391	Inductive Classes of Finite Models Steven Lindell Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:05 Model theory Constructible universe Function Compactness theorem Μ operator Linear temporal logic Mathematics Mathematical logic Logic
392	Bull. London Math. Soc[removed]–302 ❡ 2004 London Mathematical Society C Add to Reading List Source URL: www.math.uoc.gr Language: English - Date: 2004-05-03 07:37:10 Lie algebras Lie groups Weyl group Root system Golden ratio Arrangement of hyperplanes Linear temporal logic Golden ratio base Abstract algebra Mathematics Geometry
393	Probability in the Engineering and Informational Sciences, 25, 2011, 171–185. doi:[removed]S0269964810000331 Add to Reading List Source URL: www.math.wsu.edu Language: English - Date: 2011-04-01 00:21:28 Functional analysis Function Sheaf Diagonal lemma Linear temporal logic Mathematics Mathematical analysis Distribution
394	Equational Abstractions Jos´e Meseguer1 , Miguel Palomino2 , and Narciso Mart´ı-Oliet2 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-07-04 15:14:58 Temporal logic Model theory Symbol Unification Modal logic Μ operator Normal distribution Logic Mathematical logic Linear temporal logic
395	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic
396	Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:57:33 Formal languages Logical syntax Linear temporal logic Temporal logic Interpretation Entailment Substitution Model theory Well-formed formula Logic Metalogic Propositional calculus
397	Action Emulation Between Canonical Models Floor Sietsma Jan van Eijck May 23, 2013 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 10:52:48 Mathematics Kripke semantics Interpretation Bisimulation Structure Constructible universe Modal logic Μ operator Linear temporal logic Logic Model theory Mathematical logic
398	Chapter 1 Perception and Change in Update Logic Jan van Eijck Abstract Three key ways of updating one’s knowledge are (i) perception of states Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-18 09:31:16 Modal logic Golden ratio Numbers Common knowledge Epistemology Mathematics Linear temporal logic Logic Artificial intelligence Epistemic modal logic
399	Logic of Information Flow on Communication Channels Yanjing Wang, Floor Sietsma and Jan van Eijck Centrum Wiskunde en Informatica, y.wang, f.sietsma, [removed] Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:10:08 Constructible universe Common knowledge Logic Science Linear temporal logic Artificial intelligence Epistemic modal logic Modal logic
400	The Language of Social Software Abstract Computer software is written in languages like C, Java or Haskell. In many cases social software is expressed in natural language. The paper explores connections between the area Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:13:00 Mathematics Interpretation Philosophy of language Philosophy of mind Semantics Constructible universe Golden ratio Philosophy of mathematics Linear temporal logic Model theory Formal languages Logic

UPDATE